A LISP Machine with Very Compact Programs
نویسنده
چکیده
This paper presents a machine designed f o r compact r e p r e s e n t a t i o n and r a p i d execu t ion of LISP programs. The machine language is a f a c t o r of 2 to 5 more compact than S-expressions or conven t i ona l compi led code, and t h e . c o m p i l e r i s ex t reme ly s i m p l e . The encoding scheme i s p o t e n t i a l l y a p p l i c a b l e t o data as w e l l as program. The machine a l s o prov ides f o r u s e r d e f i n e d data s t r u c t u r e s .
منابع مشابه
Compact Encodings of List Structure By Daniel G . Bobrow and
List structures provide a general mechanism for representing easily changed structured data, but can introduce inefficiencies in the use of space when fields of uniform size are used to contain pointers to data and to link the structure. Empirically determined regularity can be exploited to provide more space efficient encodings without losing the flexibility inherent in list structures. The ba...
متن کاملEvolving Turing-Complete Programs for a Register Machine with Self-modifying Code
The majority of commercial computers today are register machines of von Neumann type. We have developed a method to evolve Turing-complete programs for a register machine. The described implementation enables the use of most program constructs, such as arithmetic operators, large indexed memory, automatic decomposition into subfunctions and subroutines (ADFs), conditional constructs i.e. if-the...
متن کاملThe Limits of Mathematics
In a remarkable development, I have constructed a new definition for a self-delimiting universal Turing machine (UTM) that is easy to program and runs very quickly. This provides a new foundation for algorithmic information theory (AIT), which is the theory of the size in bits of programs for self-delimiting UTM’s. Previously, AIT had an abstract mathematical quality. Now it is possible to writ...
متن کاملAn Automatic Program Generator for Multi-Level Specialization
Program specialization can divide a computation into several computation stages. This paper investigates the theoretical limitations and practical problems of standard specialization tools, presents multi-level specialization, and demonstrates that, in combination with the cogen approach, it is far more practical than previously supposed. The program generator which we designed and implemented ...
متن کاملPOPLOG ' sTwo - level Virtuol Mochine Support for lnteroctive Longuoges
Poplog is a portable interactive AI development environment available on a "ur}g" of op""ating systems and machines. It includes incremental compilers for bommon Lisp, Pop-ll, Prolog and Standard ML, along with tools for adding new incremental compilers. All the languages share a common development environment and data structures can be shared between programs written in the different languages...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1973